The use of transcranial Electrical Stimulation in the modulation of cognitive brain functions to improve neuropsychiatric conditions has extensively increased over the decades. tES techniques have also raised new challenges associated with study design, stimulation protocol, functional specificity, and dose-response relationship. In this paper, we addressed challenges through the emerging methodology to investigate the dose-response relationship of High Definition-transcranial Direct Current Stimulation, identifying the role of negative valence in tinnitus perception. In light of the neurofunctional testable framework and tES application, (...) hypotheses were formulated to measure clinical and surrogate endpoints. We posited that conscious pairing adequately pleasant stimuli with tinnitus perception results in correction of the loudness misperception and would be reinforced by concurrent active HD-tDCS on the left Dorsolateral Prefrontal Cortex. The dose-response relationship between HD-tDCS specificity and the loudness perception is also modeled. We conducted a double-blind, randomized crossover pilot study with six recruited tinnitus patients. Accrued data was utilized to design a well-controlled adaptive seamless Bayesian dose-response study. The sample size and optimum interims were anticipated for adaptive decision-making about efficacy, safety, and single session dose parameters. Furthermore, preliminary pilot study results were sufficient to show a significant difference within the longitudinally detected self-report tinnitus loudness between before and under positive emotion induction. This study demonstrated a research methodology used to improve emotion regulation in tinnitus patients. In the projected method, positive emotion induction is essential for promoting functional targeting under HD-tDCS anatomical specificity to indicate the efficacy and facilitate the dose-finding process. The continuous updating of prior knowledge about efficacy and dose during the exploratory stage adapts the anticipated dose-response model. Consequently, the effective dose range to make superiority neuromodulation in correcting loudness misperception of tinnitus will be redefined. Highly effective dose adapts the study to a standard randomized trial and transforms it into the confirmatory stage in which active HD-tDCS protocol is compared with a sham trial. Establishing the HD-tDCS intervention protocols relying on this novel method provides reliable evidence for regulatory agencies to approve or reject the efficacy and safety. Furthermore, this paper supports a technical report for designing multimodality data-driven complementary investigations in emotion regulation, including EEG-driven neuro markers, Stroop-driven attention biases, and neuroimaging-driven brain network dynamics. (shrink)

The aim of this study was to analyze the association between coaches’ experience and their perceptions on the implementation of a long-term athletic development model created in 2016 by the Portuguese Swimming Federation. Eighty-six swimming coaches were assembled in groups according to their experience level: “novice”, “intermediate”, and “experienced”, and they answered a questionnaire with the following items: awareness of the existing model acceptance usefulness for practice, and implementation of this model by their peers. Regardless of experience, ~67% of the (...) coaches were aware of the model. Among those, a large number showed acceptance and confidence in its usefulness for their daily practice. Most coaches showed concerns about the fact that their peers do not respect the model frameworks, declaring the search for their swimmers’ immediate success as the main cause for such behavior. The results also showed an association between experience and knowledge about the model’s existence [χ2 = 10.223, p < 0.01, V = 0.345], and experienced coaches exhibited better knowledge than their intermediate [χ2 = 9.555, p < 0.01, V = 0.393] or novice [χ2 = 5.926, p = 0.02, V = 0.314] counterparts. While there was an association between the coaches’ experience and knowledge about the LTAD model’s existence, this situation does not seem to influence the way coaches accept and understand the usefulness of the model for their daily practice. (shrink)

Este trabalho analisa a influência tributária na definição do modelo constitucional de atribuição dos resultados econômicos da exploração do petróleo offshore, no Brasil. Além da abordagem constitucional do tema, destaca-se a participação dos entes federativos estaduais nas rendas da produção de petróleo, sua federalização e, em decorrência, a redução das rendas dos entes federativos subnacionais, implicando num movimento compensatório pela via da utilização de elementos de natureza tributária, tais como o extinto Imposto Único sobre Minerais e o regime constitucional especial (...) de cobrança na origem do ICMS devido nas operações de combustíveis e derivados de petróleo. (shrink)

Este artigo é resultado da pesquisa que teve como objetivo estudar as percepções dos professores de física na cidade de Vilhena-RO sobre suas necessidades de formação contínua em tecnologias digitais no ensino. O problema de pesquisa consiste em saber quais as percepções dos professores de física, da rede estadual de Rondônia, que atuam na cidade de Vilhena-RO, sobre as necessidades de formação contínua em relação ao uso de recursos de tecnologias digitais salas de aula? Tratou-se de um levantamento com aplicação (...) de questionário a amostra de 13 professores via Survey Monkey e para a análise de dados foi utilizado análise estatística básica: análise da frequência. Os resultados evidencias necessidades formativas percebidas pelos docentes que apontam para formação contínua em RTD. Os professores percebem suas limitações para uso desses recursos em sala de aula e necessidade de suprir tais carências formativas advindas, também, da formação inicial. Ao mesmo tempo que reconhecem a urgência de buscar novas qualificações focadas na melhoria do ensino e aprendizagem de Física. (shrink)

This paper explores two persistent questions in the literature on presumptions: the place and the nature of presumptions in law and legal argumentation. These questions were originally raised by James Bradley Thayer, one of the masters of the Law of Evidence and the author of the classic chapter devoted this subject in A preliminary treatise on Evidence. Like Thayer, I believe that these questions deserve attention. First the paper shows that the connection between presumptions and argumentation is a constant feature (...) in the literature on presumptions, since its foundation in the Middle Ages to modern times. James Bradley Thayer was probably the last jurist who clearly saw that presumptions belong to argumentation. Second, the paper examines two sources of controversy in the language of presumptions. First, “presumption” is an ambiguous word in the legal discourse. As a result, it is almost impossible to provide a clear and succinct answer to the question “What is a presumption?”. Second, there are at least four reconstructions of the concept of presumption whose merits and shortcomings are relevant to explore. The analysis presented here may be of interest for legal and non-legal scholars and, hopefully, it may help to shed light on the possibilities and limits of an interdisciplinary dialogue about presumptions. (shrink)

We look at two fundamental logical processes, often intertwined in planning and problem solving: inference and update. Inference is an internal process with which we uncover what is implicit in the information we already have. Update, on the other hand, is produced by external communication, usually in the form of announcements and in general in the form of observations, giving us information that might not have been available (even implicitly) before. Both processes have received attention from the logic community, usually (...) separately. In this work, we develop a logical language that allows us to describe them together. We present syntax, semantics and a complete axiom system; we discuss similarities and differences with other approaches and mention how the work can be extended. (shrink)

The principle of overlap of classes holds that when two entities interface, the effect is a blurring of boundaries between conceptual territories. In this paper, this question is in order: Is Folk Catholicism an instance of overlap of classes? If Folk Catholicism is not construed as such, these fallacies – using Robin George Collingwood’s perspective in his An Essay on Philosophical Method, may unfold: the fallacy of precarious margins, the fallacy of identified coincidents, and the fallacy of false disjunction. The (...) first fallacy holds that the ‘Folk’ in Folk Catholicism has no contribution to how ‘Catholicism’ unfolds. The second fallacy maintains that the extensions of both ‘Folk’ and ‘Catholicism’ are clearly delineated. The third fallacy underscores that Folk and Catholicism are mutually exclusive terms. When such fallacies are accepted, this paper holds that Folk Catholicism as a construct may be a contradiction of terms on what it means to be Folk and Catholic. This is the illogical consequence given that the truth of what it means to be folk necessitates the falsity of what it means to be Catholic and vice-versa. However, when recognized from the lens of the overlap, Folk Catholicism is construed as a term that evolves and is historically conditioned. (shrink)

An initial study of Robin George Collingwood's The Principles of Art and Benedetto Croce's Aesthetic: A Science ofExpression and General Linguistic gives an immediate impression that Collingwood appropriated and incorporated many elements in Croce's work to his own position. This is probably the main reason why Collingwood, in his correspondence with Croce, sincerely expressed his gratitude to the Italian Philosopher for laying the foundation of his art-theory. Collingwood's acknowledgement of Croce's influence and the apparentsimilarity in their theories on art disposes (...) us to wonder if Collingwood mayhave only extended, hence, reiterated the principles of Croce's position. Given this impression, the present article hopes to provide a study between Collingwood's and Croce's theories of art in the hope that we can tease out a crucial difference between their standpoints. If we can demonstrate a significant difference, then we may have provided ourselves with the cudgels to assert that Collingwood's theory of art is also unique. (shrink)

Contributed seminar papers on Vedic theory of creation, philosophy and science.

The author proposes an interpretation of the theory and practise of paradeigma, developed in conjunction with the method of diairesis in the Sophist, Politicus and Philebus. The conclusions reached are then balanced against the evidence of Plato's views on knowledge and language in the Cratylus, and compared to the logos of Heraclitus, in order to explain the conception designated as the "metaphorical structure of reality". It is then suggested that the degradation and reevaluation of this structure in Modern and Contemporary (...) thought was due to the attention paid, or not paid, to Aristotle's consideration of metaphor as a purely linguistic fact. (shrink)

This study aimed to synthesize literature data on male judo combat time in international competitions between 2010 and 2019. The search was carried out from May 8th to June 11th, 2021, in electronic databases using the following keywords: AND. After the selection process, 8 articles were included in the systematic review and 7 in the meta-analysis. These studies analyzed 2,562 international male judo combats over the years 2010 to 2019. We observed that the average male judo combat time changed after (...) each rule change. There was a significant difference between combats that ended up to the regular time and those that needed overtime. There were differences between 60kg and +100kg categories and the others in 2011-2012. However, no significant difference was found between the combat time by weight division after the 2017 rule changes, although there are still differences in relation to the end of the combats. There were significant changes in the male judo combat time with each rule change, and the data from the included studies point to a trend of homogeneity in the combat time spent between the weight divisions over the years, and an increase in the occurrence of Golden Score. More studies need to be carried out to identify the new temporal behaviors of athletes. (shrink)

Every so often an experiment trying to give reliable evidence for a metallic hydrogen solid is reported. Such evidence is, however, not too convincing. As Eric Scerri has recently reiterated, “the jury is still out on that issue” . This search stems from the common spectroscopy shared by the hydrogen atom and all the alkali metal atoms, and perhaps is guided by a desire to place hydrogen atop the alkali metals, in Mendeleiev’s Table, reinforced by the fact pointed out by (...) Scerri that there is no other obvious place for hydrogen in said Table. But H2 is a light gas at room temperature, while Li, Na, K and the other alkali elements form solid metal crystals. At very low temperatures, of course, hydrogen solidifies, but it is formed by H2 molecules . Our purpose here is to use a new argument to break this impasse: “should H be grouped with the alkali metals with which it shares a common spectroscopy, but which solidifies in a completely different fashion?” This argument has been proposed before in a couple of papers in this journal to establish a similar question for He and the alkaline earths , as is discussed in “Precedents” section. (shrink)

We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the elimination rules for disjunction and absurdity. As compared to the embedding based on instantiation overflow, the alternative embedding works equally well at the levels of provability and preservation of proof identity, but it produces shorter derivations and shorter simulations of reduction sequences. Lambda-terms are employed in the technical development so that the algorithmic (...) content is made explicit, both for the alternative and the original embeddings. The investigation of preservation of proof-reduction steps by the alternative embedding enables the analysis of generation of “administrative” redexes. These are the key, on the one hand, to understand the difference between the two embeddings; on the other hand, to understand whether the final word on the embedding of IPC into atomic system F has been said. (shrink)

Los modelos de escritura están experimentando grandes transformaciones como consecuencia de la revolución tecnológica contemporánea. Aunque los cibertextos y los hipertextos no son realidades exclusivas de la cultura digital, pues se dan en contextos culturales precedentes, aportan formas de pensamiento alternativas, que pasan por implicaciones epistemológicas –el pensamiento en red–, estéticas –reformulación de la autoría– y éticas –exigen un compromiso por parte del receptor. En este trabajo se abordará dicha coyuntura comparando las escrituras literarias Hypertext Hotel (1992) y Leyenda mayor (...) de Ian Curtis (2017) con las escrituras audiovisuales +101 (2012) y Quién lo impide (2018) con el objetivo de comprender las transformaciones que suponen tanto en la experiencia estética como en el campo cultural digital. Para ello, se empleará una metodología comparatista que tenga en cuenta las concomitancias entre las dos series de escrituras. (shrink)

Objective: To evaluate moral development as an indicator of the capacity to consent among two groups of patients from the Hospital de Clínicas in Porto Alegre, RS, Brazil.Method: Fifty-nine adolescents and 60 patients over 60 years of age participated in a cross-sectional study to assess moral development using Loevinger’s model of ego stages.Results: Age and moral development showed no association, with most participants in the two groups being in the conscientious phase.Conclusions: Age is probably not an adequate variable to measure (...) decision-making capacity, because questions of medical consent relate to participants’ own personal health. Decision-making capacity should be viewed as a continuous function. While the age of the person whose consent is needed should be considered, age alone, from a moral perspective, is not the main determinant of this capacity. (shrink)

Los cinco estudios que componen este volumen estan dedicados a mostrar que es posible abordar el estudio de un film y por extension del cine en su conjunto a partir de fragmentos minimos extraidos de una obra concreta. Concebidos con una metodologia unitaria intentan, limitando al maximo el uso de esa jerga especializada que suele hacer de muralla entre el analista y el lector, proporcionar instrumentos operativos para todos aquellos que conciben el cine como territorio donde saber y placer no (...) solo no estan renidos sino que se refuerzan mutuamente. Los ejemplos han sido tomados, conscientemente, de obras al mismo tiempo muy conocidas y suficientemente representativas de determinadas maneras de hacer. Se ha huido de toda normatividad con la finalidad de hacer buena la frase de S.M. Eisenstein cuando recordaba a sus discipulos que el no podia ensenarles nada, pero ellos si que podian aprender mucho. Equidistante del moderno analisis formalista y de la tradicion clasica que reivindicaba la primacia del contenido, el tipo de trabajo patente en estas paginas reivindica el lugar central del texto filmico y sus texturas singulares en los nuevos estudios cinematograficos. (shrink)

Portugal ranks fourth among countries with the highest rate of overweight population, considering that 67.6% of the Portuguese population over the age of 15 is overweight or obese. To our knowledge, limited studies have investigated students’ attitudes toward physical education in Portugal. Such research is necessary because it can provide valuable insights for policy and application in the curriculum development for physical education, which may eventually increase participation in physical and sports activities. This study analyzed students’ attitudes toward physical education (...) (PE) according to sociodemographic variables, including grade level, socioeconomic status, and gender, and their participation in extracurricular sports activities and respective PE grades. The sample comprised 476 high school students (from the 7th, 8th, and 9th-grade levels) from five public schools located in Portugal. The Students’ Attitudes toward Physical Education Questionnaire was adapted and validated for use with Portuguese students as a two-factor model. Findings show that students generally have a moderately positive attitude toward PE. However, students’ positive attitudes tend to decrease throughout high school, which is particularly significant in the 9th grade. Furthermore, students’ attitudes are influenced by gender, extracurricular sports practice, and grades. These findings may help stakeholders reflect on how to frame PE in a more meaningful way to create a solid foundation for maintaining an active lifestyle throughout life. Implications for further research and practice are discussed. (shrink)

En los últimos años, ha habido un creciente interés en analizar los problemas relativos a la epistemología de la prueba jurídica. En distintas culturas jurídicas, las cuestiones de prueba y razonamiento acerca de los hechos han sido abordadas desde diversas perspectivas. La cultura jurídica latinoamericana no es, en este sentido, una excepción: hay actualmente un vigoroso grupo de juristas en la región que se ha ocupado de estudiar problemas relativos a los procesos probatorios en el Derecho...

In the first author's thesis [10], a sequential language, LRT, for real number computation is investigated. That thesis includes a proof that all polynomials are programmable, but that work comes short of giving a complete characterization of the expressive power of the language even for first-order functions. The technical problem is that LRT is non-deterministic. So a natural characterization of its expressive power should be in terms of relations rather than in terms of functions. In [2], Brattka examines a formalization (...) of recursive relations in the style of Kleene's recursive functions on the natural numbers. This paper is an expanded version of [13] which establishes the expressive power of LRTp, a variant of LRT, in terms of Brattka's recursive relations. Because Brattka already did the work of establishing the precise connection between his recursive relations and Type 2 Theory of Effectivity, we thus obtain a complete characterization of first-order definability in LRTp. (shrink)

Neurofeedback has been suggested as a potential complementary therapy to different psychiatric disorders. Of interest for this approach is the prediction of individual performance and outcomes. In this study, we applied functional connectivity-based modeling using electroencephalography (EEG) and functional near-infrared spectroscopy (fNIRS) modalities to (i) investigate whether resting-state connectivity predicts performance during an affective neurofeedback task and (ii) evaluate the extent to which predictive connectivity profiles are correlated across EEG and fNIRS techniques. The fNIRS oxyhemoglobin and deoxyhemoglobin concentrations and the (...) EEG beta and gamma bands modulated by the alpha frequency band (beta-m-alpha and gamma-m-alpha, respectively) recorded over the frontal cortex of healthy subjects were used to estimate functional connectivity from each neuroimaging modality. For each connectivity matrix, relevant edges were selected in a leave-one-subject-out procedure, summed into “connectivity summary scores” (CSS), and submitted as inputs to a support vector regressor (SVR). Then, the performance of the left-out-subject was predicted using the trained SVR model. Linear relationships between the CSS across both modalities were evaluated using Pearson’s correlation. The predictive model showed a mean absolute error smaller than 20%, and the fNIRS oxyhemoglobin CSS was significantly correlated with the EEG gamma-m-alpha CSS (r = −0.456, p = 0.030). These results support that pre-task electrophysiological and hemodynamic resting-state connectivity are potential predictors of neurofeedback performance and are meaningfully coupled. This investigation motivates the use of joint EEG-fNIRS connectivity as outcome predictors, as well as a tool for functional connectivity coupling investigation. (shrink)

The notion of rationality is crucial to Computer Science and Artificial Intelligence, Economics, Law, Philosophy, Psychology, Anthropology, etc. Most if not all of these disciplines presuppose the agent's capacity to infer in a logical manner. Theories about rationality tend toward two extremes: either they presuppose an unattainable logical capacity, or they tend to minimize the role of logic, in light of vast data on fallacious inferential performance. We analyze some presuppositions in the classical view of logic, and suggest empirical and (...) theoretical evidence for the place of inferential heuristics in a theory of rationality. We propose (1) to outline a new theory of rationality that includes the key notion of logical capacity as a necessary but realistic factor, (2) to expand the notion of inference to include non-deductive inference, specifically non-monotonic, and (3) to emphasize the logical role of inferential heuristics and constraints such as cognitive economy. (shrink)

Counting models for a two conjunctive formula $F$, a problem known as $\sharp $2Sat, is a classic $\sharp $P complete problem. Given a 2-CF $F$ as input, its constraint graph $G$ is built. If $G$ is acyclic, then $\sharp $2Sat can be computed efficiently. In this paper, we address the case when $G$ has cycles. When $G$ is cyclic, we propose a decomposition on the constraint graph $G$ that allows the computation of $\sharp $2Sat in incremental way. Let $T$ be (...) a cactus graph of $G$ containing a maximal number of independent cycles, and let $\overline{T}=-E)$ be a subset of frond edges from $G$. The clauses in $\overline{T}$ are ordered in connected components $\{K_1, \ldots, K_r\}$. Each $, i=1,\ldots,r$ is a knot of the graph. The arrangement of the clauses of $\overline{T}$ allows the decomposition of $G$ in knots and provides a way of computing $\sharp $2Sat in an incremental way. Our procedure has a bottom-up orientation for the computation of $\sharp $2Sat. It begins with $F_0 = T$. In each iteration of the procedure, a new clause $C_i \in \overline{T}$ is considered in order to form $F_i = $ and then to compute $\sharp $2Sat$$ based on the computation of $\sharp $2Sat$$. (shrink)

Agreement technologies refer to a novel paradigm for the construction of distributed intelligent systems, where autonomous software agents negotiate to reach agreements on behalf of their human users. Smart Cities are a key application domain for agreement technologies. While several proofs of concept and prototypes exist, such systems are still far from ready for being deployed in the real-world. In this paper we focus on a novel method for managing elements of smart road infrastructures of the future, namely the case (...) of auction-based road intersections. We show that, even though the key technological elements for such methods are already available, there are multiple non-technical issues that need to be tackled before they can be applied in practice. For this purpose, we analyse legal and ethical implications of auction-based road intersections in the context of international regulations and from the standpoint of the Spanish legislation. From this exercise, we extract a set of required modifications, of both technical and legal nature, which need to be addressed so as to pave the way for the potential real-world deployment of such systems in a future that may not be too far away. (shrink)